krl (knowledge representation) - German English Dictionary